<html>
<head><meta charset="utf-8"><title>P-critical #73249 ICE: could not fully normalize · t-compiler/wg-prioritization · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/index.html">t-compiler/wg-prioritization</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/P-critical.20.2373249.20ICE.3A.20could.20not.20fully.20normalize.html">P-critical #73249 ICE: could not fully normalize</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="200698343"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/P-critical%20%2373249%20ICE%3A%20could%20not%20fully%20normalize/near/200698343" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> triagebot <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/P-critical.20.2373249.20ICE.3A.20could.20not.20fully.20normalize.html#200698343">(Jun 12 2020 at 17:19)</a>:</h4>
<p><span class="user-group-mention" data-user-group-id="2403">@WG-prioritization</span> issue <a href="https://github.com/rust-lang/rust/issues/73249">#73249</a> has been assigned <code>P-critical</code>.</p>



<a name="200698505"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/P-critical%20%2373249%20ICE%3A%20could%20not%20fully%20normalize/near/200698505" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lcnr <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/P-critical.20.2373249.20ICE.3A.20could.20not.20fully.20normalize.html#200698505">(Jun 12 2020 at 17:21)</a>:</h4>
<p>Was the intention to open a new issue once a priority has been assign instead of renaming the existing one?</p>



<a name="200698535"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/P-critical%20%2373249%20ICE%3A%20could%20not%20fully%20normalize/near/200698535" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/P-critical.20.2373249.20ICE.3A.20could.20not.20fully.20normalize.html#200698535">(Jun 12 2020 at 17:21)</a>:</h4>
<p>Didn't think about that</p>



<a name="200698650"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/P-critical%20%2373249%20ICE%3A%20could%20not%20fully%20normalize/near/200698650" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/P-critical.20.2373249.20ICE.3A.20could.20not.20fully.20normalize.html#200698650">(Jun 12 2020 at 17:22)</a>:</h4>
<p>I agree that it would be more practical</p>



<a name="200698711"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/P-critical%20%2373249%20ICE%3A%20could%20not%20fully%20normalize/near/200698711" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/P-critical.20.2373249.20ICE.3A.20could.20not.20fully.20normalize.html#200698711">(Jun 12 2020 at 17:22)</a>:</h4>
<p>So if we want both in the same topic we want to have a common name for both</p>



<a name="200698791"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/P-critical%20%2373249%20ICE%3A%20could%20not%20fully%20normalize/near/200698791" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/P-critical.20.2373249.20ICE.3A.20could.20not.20fully.20normalize.html#200698791">(Jun 12 2020 at 17:23)</a>:</h4>
<p>Maybe we can just use the # and the name, and have no label name shenanigan in the way</p>



<a name="200698817"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/P-critical%20%2373249%20ICE%3A%20could%20not%20fully%20normalize/near/200698817" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/P-critical.20.2373249.20ICE.3A.20could.20not.20fully.20normalize.html#200698817">(Jun 12 2020 at 17:23)</a>:</h4>
<p>cc <span class="user-mention" data-user-id="116266">@Santiago Pastorino</span> <span class="user-mention" data-user-id="120823">@DPC</span></p>



<a name="200699006"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/P-critical%20%2373249%20ICE%3A%20could%20not%20fully%20normalize/near/200699006" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/P-critical.20.2373249.20ICE.3A.20could.20not.20fully.20normalize.html#200699006">(Jun 12 2020 at 17:24)</a>:</h4>
<p>Because I think we want <code>I-nominated</code> to use the same topic as <code>I-prioritize</code></p>



<a name="200699763"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/P-critical%20%2373249%20ICE%3A%20could%20not%20fully%20normalize/near/200699763" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/P-critical.20.2373249.20ICE.3A.20could.20not.20fully.20normalize.html#200699763">(Jun 12 2020 at 17:30)</a>:</h4>
<p>not sure I understood what you're saying</p>



<a name="200699792"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/P-critical%20%2373249%20ICE%3A%20could%20not%20fully%20normalize/near/200699792" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/P-critical.20.2373249.20ICE.3A.20could.20not.20fully.20normalize.html#200699792">(Jun 12 2020 at 17:30)</a>:</h4>
<p>if one issue have <code>I-prioritize</code> and <code>I-nominated</code> I'd open 2 topics</p>



<a name="200699800"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/P-critical%20%2373249%20ICE%3A%20could%20not%20fully%20normalize/near/200699800" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/P-critical.20.2373249.20ICE.3A.20could.20not.20fully.20normalize.html#200699800">(Jun 12 2020 at 17:30)</a>:</h4>
<p>one to discuss the priority</p>



<a name="200699829"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/P-critical%20%2373249%20ICE%3A%20could%20not%20fully%20normalize/near/200699829" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/P-critical.20.2373249.20ICE.3A.20could.20not.20fully.20normalize.html#200699829">(Jun 12 2020 at 17:31)</a>:</h4>
<p>and the other to discuss about the nomination, like why was it nominated and add all the stuff to the agenda</p>



<a name="200699845"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/P-critical%20%2373249%20ICE%3A%20could%20not%20fully%20normalize/near/200699845" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/P-critical.20.2373249.20ICE.3A.20could.20not.20fully.20normalize.html#200699845">(Jun 12 2020 at 17:31)</a>:</h4>
<p>Mhh I see</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>